---

constant weakest pre-condition

英 [ˈkɒnstənt ˈwiːkɪst ˈpriː kənˈdɪʃn] 美 [ˈkɑːnstənt ˈwikəst ˈpriː kənˈdɪʃn]

网络  恒最弱前置条件

计算机

---

---